basic
\\[0ex]monot($T$;$x$,$y$.$R$($x$;$y$);$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$, $y$:$T$. $R$($x$;$y$) $\Rightarrow$ $R$($f$($x$);$f$($y$))